Works by S. C. Van Westrhenen

( view other items matching `S. C. van Westrhenen`, view all matches )
8 found
Order:
Disambiguations
S. C. van Westrhenen [7]S. Christiaan van Westrhenen [1]
  1. A computer programme for the first order predicate calculus without identity.S. C. van Westrhenen - 1968 - In P. Braffort & F. van Scheepen (eds.), Automation in language translation and theorem proving. Brussels,: Commission of the European Communities, Directorate-General for Dissemination of Information.
    $72.12 used   (collection)    View on Amazon.com
     
    Export citation  
     
    Bookmark  
  2.  2
    A probabilistic machine for the estimation of provability in the first order predicate calculus.S. C. van Westrhenen - 1969 - Mathematical Logic Quarterly 15 (19):291-297.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  1
    A probabilistic machine for the estimation of provability in the first order predicate calculus.S. C. van Westrhenen - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (19):291-297.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4. A random generator for sentential calculus.S. C. van Westrhenen - 1968 - In P. Braffort & F. van Scheepen (eds.), Automation in language translation and theorem proving. Brussels,: Commission of the European Communities, Directorate-General for Dissemination of Information.
    $72.12 used   (collection)    View on Amazon.com
     
    Export citation  
     
    Bookmark  
  5. A simple application of discrete Markov chains to mathematical logic.S. C. van Westrhenen - 1968 - In P. Braffort & F. van Scheepen (eds.), Automation in language translation and theorem proving. Brussels,: Commission of the European Communities, Directorate-General for Dissemination of Information.
    $72.12 used   (collection)    View on Amazon.com
     
    Export citation  
     
    Bookmark  
  6. Statistical estimation of definability.S. C. van Westrhenen - 1968 - In P. Braffort & F. van Scheepen (eds.), Automation in language translation and theorem proving. Brussels,: Commission of the European Communities, Directorate-General for Dissemination of Information.
    $72.12 used   (collection)    View on Amazon.com
     
    Export citation  
     
    Bookmark  
  7. Some remarks on the statistical estimation of probability in first-order predicate calculus.S. C. van Westrhenen - 1968 - In P. Braffort & F. van Scheepen (eds.), Automation in language translation and theorem proving. Brussels,: Commission of the European Communities, Directorate-General for Dissemination of Information.
    $72.12 used   (collection)    View on Amazon.com
     
    Export citation  
     
    Bookmark  
  8. The statistical estimation of provability in the first order predicate calculus.S. Christiaan van Westrhenen - 1969 - [Eindhoven,: Technische Hogeschool (Inslindelaan 2).
     
    Export citation  
     
    Bookmark